Modeling Rule-Based and Structured Systems with Evolving Algebras
ثبت نشده
چکیده
منابع مشابه
Specifying Complex and Structured Systems with Evolving Algebras
This paper presents an approach for specifying complex structured systems with Evolving Algebras by means of aggregation and composition Evolving algebras provide a formal method for executable speci cations which has been employed for specifying several algorithms and programming languages With its transition system like rule based syntax the concept is as well very intuitive as well suited fo...
متن کاملState Transitions modeled as Re nements
We are going to show how state transitions can be modeled in the framework of algebraic speci cations. We use the algebraic speci cation, composition, and re nement framework provided by the Specware tool [28, 29] and Evolving Algebras [10] as a general framework for transition systems. Numerous case studies show that evolving algebras are well suited to model large and complex reactive and con...
متن کاملPotentials of Evolving Linear Models in Tracking Control Design for Nonlinear Variable Structure Systems
Evolving models have found applications in many real world systems. In this paper, potentials of the Evolving Linear Models (ELMs) in tracking control design for nonlinear variable structure systems are introduced. At first, an ELM is introduced as a dynamic single input, single output (SISO) linear model whose parameters as well as dynamic orders of input and output signals can change through ...
متن کاملCommunicating Evolving Algebras
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general framework for modeling concurrent computation. As a basic tool we introduce a `modal' logic of transition rules and runs, which is, in the context of evolving algebras, just a deenitional extension of ordinary rst orde...
متن کامل1 Implementation 12 Other Work
We give a precise de nition of evolving algebras as nondeterminis tic mathematical machines All proofs in the paper are based on this de nition First we de ne constant propagation as a transformation on evolving algebras Then we extend evolving algebras by macro de nitions and de ne folding and unfolding transformations for macros Next we introduce a simple transformation to atten transition ru...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996